package rostering;
import java.util.ArrayList;

import JaCoP.constraints.And;
import JaCoP.constraints.AndBool;
import JaCoP.constraints.Constraint;
import JaCoP.constraints.Not;
import JaCoP.constraints.PrimitiveConstraint;
import JaCoP.constraints.Sum;
import JaCoP.constraints.XeqC;
import JaCoP.core.BooleanVar;
import JaCoP.core.IntVar;
import JaCoP.core.Store;


public class WorkerA extends Worker{
	public WorkerA(Store store, int workerNbr){
		super(store);
		for(IntVar day : daysWorkingList){
			day.id +="A"+workerNbr;
		}
		nbrOfDaysWorking=new IntVar(this.store, "WorkerA"+workerNbr, 5,5);
		BooleanVar[] daysWorking=new BooleanVar[daysWorkingList.size()];
		daysWorkingList.toArray(daysWorking);
		Sum sum = new Sum(daysWorking,nbrOfDaysWorking);
		this.store.impose(sum);

		addConsecutiveConstraints(daysWorking, "WorkerAConsec"+workerNbr, 4);
	}
	
	

}
